home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Source Code / C / Applications / Moscow ML 1.31 / source code / mosml / install.txt < prev    next >
Encoding:
Text File  |  1996-07-03  |  4.3 KB  |  118 lines  |  [TEXT/R*ch]
  1. This is file install.txt for Moscow ML 1.31 for Linux (15 October 1995)
  2.  
  3.  
  4. SYSTEM REQUIREMENTS
  5.  
  6. Moscow ML was compiled with gcc 2.5.8 for Linux, and can recompile itself
  7. in less than 2 MB RAM.  The installation requires 1.5 MB disk space.
  8.  
  9.  
  10. INSTALLING MOSCOW ML UNDER LINUX
  11.  
  12. (1) For a personal installation, move to your home directory, and unpack
  13.     the Moscow ML distribution using 
  14.  
  15.     gzip -dc linux-mos13bin.tar.gz | tar xfv -
  16.  
  17.     This creates a directory ~/mosml with subdirectories 
  18.  
  19.     mosml/              readme, install.txt
  20.           bin/          mosml, mosmlc, mosmllex, mosmlyac, camlrunm
  21.           copyrght/     copyright notices
  22.           doc/          manual.dvi, mosmlref.dvi, ...
  23.           examples/     a few example programs
  24.           lib/          bytecode files and basis library units
  25.           tools/        mosmldep, Makefile.stub
  26.  
  27. (2) Make sure that ~/mosml/bin is on your PATH variable.  
  28.     (Under tcsh you will also have to execute `rehash' at this point).
  29.     
  30. (3) Edit the variable `stdlib' in the mosml/bin/mosml and
  31.     mosml/bin/mosmlc scripts.
  32.  
  33. (4) Edit the file mosml/lib/header to contain the absolute location of
  34.     the camlrunm runtime system (usually  /home/foo/mosml/bin/camlrunm).
  35.  
  36. (5) Start Moscow ML by typing
  37.            mosml
  38.  
  39. To quit Moscow ML, type `quit();' or control-D.
  40.  
  41.  
  42. INSTALLING MOSCOW ML UNDER OTHER UNIXES
  43.  
  44. If you have DEC MIPS+Ultrix, HPPA+HP/UX, Sparc+SunOS, Sparc+Solaris,
  45. SGI MIPS+IRIX 5, DEC Alpha+OSF/1, and possibly other systems, then you
  46. can install Moscow ML on that system by following steps (1) to (3)
  47. above, and then
  48.  
  49. (4') download the Unix source files from
  50.      ftp.dina.kvl.dk:/pub/mosml/mos13src.tar.gz
  51.  
  52. (5') unpack it on top of the mosml installation by executing (e.g.)
  53.  
  54.         gzip -dc mos13src.tar.gz | tar xvf -
  55.  
  56. (6') change directory to mosml/src
  57.  
  58. (7') execute 
  59.  
  60.     make world
  61.     make install
  62.  
  63.      Old versions of /lib/cpp may issue some complaints; if that gets
  64.      too annoying, then delete option `-traditional' from CPP in file
  65.      mosml/src/Makefile.inc.  New versions of /lib/cpp will need it.
  66.  
  67. (8') to check that the installation went well, you can try 
  68.      (8.1) * change directory to mosml/src/test 
  69.            * execute: mosml test.sml > result
  70.            * diff result result.ok
  71.      (8.2) * change directory to mosml/src/mosmllib/test 
  72.            * execute: mosml -P full test.sml > result
  73.            * diff result result.ok
  74.      Note that some of the test cases are suitable only for 32-bit 
  75.      architectures, and will fail on 64-bit architectures (such as DEC Alpha);
  76.      this does not necessarily indicate that the Moscow ML implementation is
  77.      wrong.
  78.  
  79.  
  80. WARNINGS AND HINTS
  81.  
  82. To accommodate `modern' versions of /lib/cpp (as found in many Linux
  83. distributions), the flag -traditional has been used.  Old versions of
  84. /lib/cpp don't understand this, but their complaints can be ignored.
  85.  
  86.  
  87. EXTENT OF THE IMPLEMENTATION
  88.  
  89. The current version 1.30 of Moscow ML
  90.     * implements the entire Standard ML Core language
  91.     * implements separate compilation and a limited version of the
  92.       Standard ML Modules language, with signatures and structures
  93.       but no functors
  94.     * can produce compact stand-alone executables (a la Caml Light)
  95.     * supports quotations and antiquotations, useful for metaprogramming
  96.     * includes several new libraries and a new type `char'
  97.     * implements large parts of the new SML Standard Library, but
  98.       not yet the I/O library.
  99.  
  100. AUTHOR AND CREDITS
  101.  
  102. Moscow SML was written by
  103.     Sergei Romanenko (sergei-romanenko@refal.msk.su)
  104.     Keldysh Institute of Applied Mathematics, Russian Academy of Sciences
  105.     Miusskaya Pl. 4, 125047 Moscow, Russia.
  106. and Peter Sestoft (sestoft@dina.kvl.dk),
  107.     Department of Mathematics and Physics, Royal Veterinary and
  108.     Agricultural University, Thorvaldsensvej 40, DK-1871 Frederiksberg C, 
  109.     Denmark.  Most work was done at the Technical University of Denmark, 
  110.     and while visiting AT&T Bell Laboratories, New Jersey, USA.
  111.  
  112. Moscow SML is based on, and would not exist without:
  113.     * the CAML Light implementation by Xavier Leroy and Damien Doligez
  114.       (INRIA, Rocquencourt, France); especially the Caml Light bytecode
  115.       generator and the runtime system;
  116.     * the ML Kit by Lars Birkedal, Nick Rothwell, Mads Tofte and David Turner
  117.       (Copenhagen University, Denmark, and Edinburgh University, Scotland);
  118.